home *** CD-ROM | disk | FTP | other *** search
/ CU Amiga Super CD-ROM 24 / CU Amiga Magazine's Super CD-ROM 24 (1998)(EMAP Images)(GB)(Track 1 of 2)[!][issue 1998-07].iso / CUCD / Programming / SWI / source / src / README.bin.in < prev    next >
Encoding:
Text File  |  1996-06-05  |  1.3 KB  |  52 lines
  1.             SWI-Prolog binary directory
  2.  
  3. Info:
  4. =====
  5.  
  6. Author:            Jan Wielemaker
  7.             SWI
  8.             University of Amsterdam
  9.             Roetersstraat 15
  10.             1018 WB  Amsterdam
  11.             The Netherlands
  12.             E-mail: jan@swi.psy.uva.nl
  13.  
  14. Mailing list:        prolog@swi.psy.uva.nl
  15. Subscribe to:        prolog-request@swi.psy.uva.nl
  16. bug reports:        prolog-bugs@swi.psy.uva.nl
  17.  
  18. Copyright:        * Free for academic, personal and research usage
  19.             * You need a licence for embedding in commercial
  20.               applications
  21.             * See file LICENCE for details.
  22.  
  23.  
  24. Installing the binary version:
  25. ==============================
  26.  
  27. The simplest method is to  make  a   *symbolic  link*  from  your public
  28. executable directory to the executable   in  bin/<arch>/pl. Donot *copy*
  29. the executable, as it uses the  information   from  the link to find the
  30. location of the libraries.
  31.  
  32. If you installed this directory as
  33.  
  34.     /usr/local/lib/pl-@PLVERSION@
  35.  
  36. do (as root, where <arch> is the name of the architecture):
  37.  
  38.     # cd /usr/local/bin
  39.     # ln -s /usr/local/lib/pl-@PLVERSION@/bin/<arch>/pl .
  40.  
  41.  
  42. Customising the binary version
  43. ==============================:
  44.  
  45. You can make small  customisations  by   making/editing  a  file  called
  46. `pl.rc' in the SWI-Prolog home directory.  This file is consulted before
  47. personal initialisation files (~/.plrc) and before  the execution of the
  48. -g initialisation goal.
  49.  
  50.  
  51.  
  52.